|
Michael Barr (born 1937) is Peter Redpath Emeritus Professor of Pure Mathematics at McGill University.〔(【引用サイトリンク】title=Mathematics and Statistics )〕 Although his earlier work was in homological algebra, his principal research area for a number of years has been category theory. He is well known to theoretical computer scientists for his book ''Category Theory for Computing Science'' with Charles Wells, as well as for the development of *-autonomous categories and Chu spaces which have found various applications in computer science. His monograph '' *-autonomous categories'', and his books ''Toposes, Triples, and Theories'',〔Pitts, A., (1991). Review of Toposes, Triples and Theories by Barr, M., & Wells, C., ''Journal of Symbolic Logic'', March 56, 1, 340–341.〕〔Rota, G. (1986). Toposes, triples and theories , Springer, 1985, 345 pp. ''Advances in Mathematics'', August, 61, 2.〕 also coauthored with Wells, and ''Acyclic Models'', are aimed at more specialized audiences. He is on the editorial boards of ''Mathematical Structures in Computer Science'' and the electronic journal ''Homology, Homotopy and Applications'', and is editor of the electronic journal ''Theory and Applications of Categories''. He was born in Philadelphia, Pennsylvania, January 22, 1937. He graduated from the 202nd class of Central High School in June 1954, from the University of Pennsylvania in February 1959 and received a PhD from the same school in June 1962. He has taught at Columbia University and the University of Illinois before coming to McGill in 1968. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Michael Barr (mathematician)」の詳細全文を読む スポンサード リンク
|